negative verification
英 [ˈneɡətɪv ˌvɛrɪfɪˈkeɪʃən]
美 [ˈneɡətɪv ˌvɛrəfəˈkeɪʃən]
逆证明，反证
双语例句
- It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.
除了利用原像计算避免误判之外，该算法还将可达状态和不可达状态引入到验证过程中。 - Study on the China s Container Shipping Route between China and Japan "Negative Freight" Price Competition; The verification of transportation charges shall relate only to the agreed price of the mode of transport in the country of exportation as indicated in the sales contract;
我国集装箱班轮运输中日航线负运费价格竞争分析运输费用的核实应仅与销售合同中列明的、出口国中运输方式的议定价格有关； - Negative load factor flight test is one of the important verification items of airworthness flight test for civil airplanes, especially for large and medium sized transport airplanes.
负过载试飞是民用飞机，特别是大、中型民用运输机适航试飞的重要验证项目之一。 - The paper reviews recent developments in research on negative reflection effect, especially the composition of LHM and theoretical explanation and experimental verification of this phenomenon.
介绍了这种负折射现象研究的最新发展。着重于LHM的人工合成，理论解释以及负折射率的实验证明等几个方面，以便进一步开展这方面的工作。 - A novel verification algorithm was proposed using competitive negative samples to enhance discrimination in face verification.
为了在认证中增强类间可鉴别性，通过引入竞争反样本，提出一种新的人脸认证算法。 - The mathematic model of the length of accelerating stage of negative pressure pneumatic conveying and its verification
负压气力输送加速段长度的数学模型及其验证 - Through picking out these characteristic parts of the signing signals, and balancing their effects in kernel matrix according to the degree of their stableness, the negative influences on signature verification of the other parts with low stableness can be reduced to the smallest.
通过设计核变换矩阵选取特征相对稳定的局部动态信息，并根据它们稳定程度的高低来均衡它们在签名认证中的作用，可以避免签名动态信息上不稳定局部对认证结果的负面影响。 - Meanwhile, we present the algorithm of negative approximation to improve verification efficiency.
本文还提出了公式的负近似计算方法，可在不削弱公式发现错误轨迹的同时提高验证效率。 - Errors in the early design have a serious negative impact on the code verification, the testing of software and the cost and effort of operation and maintenance of it in the stage of implementation.
设计初期的错误，严重的影响着实现阶段的代码验证、测试、及运行维护期的成本和工作量。 - The second part is about the study of the unit crime in criminal law of our country from two aspects of necessity and actuality and affirmative and negative on the unit recidivist is established for analysis and verification.
第二部分是关于我国刑法对单位累犯的研究从应然和实然两个方面以及肯定说和否定说对单位累犯是否成立进行分析和论证。 - One can draw a conclusion that: there is significant negative correlation between the disclosure of internal control self-evaluation report and audit pricing; while there is significant positive correlation between the disclosure of internal control verification report and audit pricing.
得出结论：披露内控自我评价报告与审计定价之间存在显著负相关关系，披露内控鉴证报告与审计定价存在显著正相关关系。